|
|
Reliable and autonomous computational science : , international conference, RACS 2010, Atlanta, Ga, USA, October 27-30, 2010 /
Publication:
[Basel] : Springer Basel AG, 2011
. 408 p. :
23 cm.
Date:2011
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundational and practical aspects of resource analysis : , First International Workshop, FOPARA 2009, Eindhoven, the Netherlands, November 6, 2010, revised selected papers /
Publication:
Berlin : Springer, 2010
. viii, 162 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Abstract state machines, Alloy, B And Z : , Second International Conference, ABZ 2010 Orford, QC, Canada, February 22-25, 2010 : Proceedings /
Publication:
Berlin : Springer, 2010
. xiv, 416 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(2),
|
|
|
Guide to FPGA Implementation of Arithmetic Functions
by Deschamps, Jean-Pierre.
Publication:
. XV, 469p. 591 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematical Summary for Digital Signal Processing Applications with Matlab
by Gopi, E. S.
Publication:
. XIV, 250p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Network Inference in Molecular Biology
by Lingeman, Jesse M.
Publication:
New York, NY : Springer New York, 2012
Date:2012
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Creating New Medical Ontologies for Image Annotation
by Stanescu, Liana.
Publication:
. VIII, 111p. 27 illus., 10 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Simulation-Based Algorithms for Markov Decision Processes
by Chang, Hyeong Soo.
Publication:
. XVII, 229 p. 29 illus., 1 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
New Software Engineering Paradigm Based on Complexity Science
by Xiong, Jay.
Publication:
. XXXV, 746p. 488 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advanced Parallel Processing Technologies
by Wu, Chenggang.
Publication:
. XII, 410 p. 187 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Geometry and Graphs
by Akiyama, Jin.
Publication:
. X, 163 p. 59 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Combinatorial Algorithms
by Lecroq, Thierry.
Publication:
. XXII, 474 p. 135 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Cryptography and Coding
by Stam, Martijn.
Publication:
. XII, 365 p. 39 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Artificial Intelligence and Its Applications
by Castro, Félix.
Publication:
. XXVI, 585 p. 139 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Soft Computing and Its Applications
by Castro, Félix.
Publication:
. XXVI, 535 p. 174 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web and Internet Economics
by Chen, Yiling.
Publication:
. XIV, 440 p. 25 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Graph-Theoretic Concepts in Computer Science
by Brandstädt, Andreas.
Publication:
. XX, 430 p. 114 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms and Computation
by Cai, Leizhen.
Publication:
. XVIII, 747 p. 145 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Practice of Natural Computing
by Dediu, Adrian-Horia.
Publication:
. X, 241 p. 83 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Learning and Intelligent Optimization
by Nicosia, Giuseppe.
Publication:
. XV, 470 p. 120 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|